Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
241	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein λ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Combinatory logic Natural deduction Function Creative Commons Mathematics Theoretical computer science Mathematical logic
242	Second Attempt to Build a Model of the Tick-Tack-Toe Game Dimiter Dobrev Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, “Acad. G. Bonchev” Str., Bl. 8, Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2008-01-11 14:21:12 Philosophy of mathematics Model theory Function First-order logic Combinatory logic Tic-tac-toe Economic model Random access machine Mathematics Mathematical logic Logic
243	Microsoft PowerPoint - Presentacion Puerto Vigo_PORTO sin notas ed4.ppsx Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2015-02-09 11:35:35 Logic in computer science Shorepower Ship Technology Transport Lambda calculus Combinatory logic
244	Critique of Hirsch’s Citation Index: A Combinatorial Fermi Problem Alexander Yong Add to Reading List Source URL: www.ams.org Language: English - Date: 2014-09-04 07:46:56 Bibliometrics H-index Combinatory logic Science Enrico Fermi Physics Academia Academic publishing
245	Generating Hardware Designs by Source Code Transformation Ashley W Brown, Wayne Luk and Paul H J Kelly Department of Computing, Imperial College London Email: {ashley.brown,p.kelly,w.luk}@imperial.ac.uk Add to Reading List Source URL: www.ashleybrown.co.uk Language: English - Date: 2010-09-16 08:37:39 Hardware description language Compiler optimizations Technology Mathematics Applied mathematics Combinatory logic Lambda calculus Logic in computer science
246	What to do and how to do it: Translating Natural Language Directives into Temporal and Dynamic Logic Representation for Goal Management and Action Execution Juraj Dzifcak and Matthias Scheutz and Chitta Baral and Paul Sc Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2009-12-09 21:12:19 Logic in computer science Lambda calculus Computability theory Formal methods Models of computation Combinatory logic Dynamic logic Modal logic Robot Mathematical logic Logic Theoretical computer science
247	Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2008-11-11 15:26:22 Predicate logic Formal languages Philosophical logic Lambda calculus Combinatory logic First-order logic Categorial grammar Function Quantification Logic Mathematical logic Mathematics
248	Optimising Transformations for Hardware Compilation Ashley Brown∗,1 , Wayne Luk∗,1 , Paul Kelly∗,1 Add to Reading List Source URL: www.ashleybrown.co.uk Language: English - Date: 2010-09-16 08:35:28 Combinatory logic Lambda calculus Logic in computer science
249	Under consideration for publication in Theory and Practice of Logic Programming 1 Typed Answer Set Programming Lambda Calculus Theories and Correctness of Inverse Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-04-01 13:35:06 Applied mathematics Type theory Logic in computer science Theory of computation Combinatory logic Simply typed lambda calculus Typed lambda calculus Type constructor Calculus Theoretical computer science Lambda calculus Computer science
250	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing

UPDATE